$\forall$$L$:(Top List). firstn(0;$L$) $\sim$ []